Results for 'Herman H. van Alten'

1000+ found
Order:
  1.  2
    Supporting Polish-Ukraine: A case study on the Afrikaans churches’ reaction to communism.Herman H. van Alten - 2021 - HTS Theological Studies 77 (4):1-8.
    This article explores the role of the Afrikaans sister churches during the initial stages of the fight against communism. After initially sketching the relations between South Africa and Russia until the Bolshevik Revolution of 1917, focus is placed on a narrow case of financial support from the side of the Reformed Church in South Africa via the Reformed Churches in the Netherlands towards the reformed movement in Polish-Ukraine during the 1930s and 1940s. Through the use of primary sources, this small (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  2.  31
    Mercy, Murder, and Morality.C. J. van der Berge, Herman H. van der Kloot Meijburg, I. van der Sluis, Henk Rigter, Courtney S. Campbell, Bette-Jane Crigger, J. G. M. Aarsten, P. V. Admiraal, I. D. de Beaufort, Th M. G. van Berkestijin, J. B. van Borssum Waalkes, E. Borst-Eilers, W. H. Cense, H. S. Cohen, H. M. Dupuis, W. Everaerd, J. K. M. Gevers, H. W. A. Hilhorst, W. R. Kastelein, H. H. van der Kloot Meijburg, H. M. Kuitert, H. J. J. Leemen, C. van der Meer, J. C. Molenaar, H. D. C. Roscam Abbing, H. Roelink, E. Schroten, C. P. Sporken, E. Ph R. Sutorius, J. Tromp Meesters, M. A. M. de Wachter, Abraham van der Spek & Richard Fenigsen - 1989 - Hastings Center Report 19 (6):47.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3.  10
    Wetenschap ten goede en ten kwade.S. Dresden, van de Kaa, J. D. & H. Hermans (eds.) - 1984 - New York: Noord-Hollandsche Uitg. Mij..
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  4.  28
    Different profiles for the institutional ethics committee in the Netherlands.Herman H. van der Kloot Meijburg - 1994 - HEC Forum 6 (3):139-156.
  5.  39
    Symposium: Are Religious Dogmas Cognitive and Meaningful?Virgil C. Aldrich, Charles Hartshorne, Harold H. Titus, H. Van Rensselaer Wilson, Patrick Romanell, Woodrow W. Sayre, William S. Minor, Philip Merlan, Y. H. Krikorian, John Herman Randall, James Gutmann, Sidney Hook, C. J. Ducasse & Raphael Demos - 1954 - Journal of Philosophy 51 (5):145.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6.  13
    In EXOG‐depleted cardiomyocytes cell death is marked by a decreased mitochondrial reserve capacity of the electron transport chain.Wardit Tigchelaar, Anne Margreet De Jong, Wiek H. van Gilst, Rudolf A. De Boer & Herman H. W. Silljé - 2016 - Bioessays 38 (S1):136-145.
    Depletion of mitochondrial endo/exonuclease G‐like (EXOG) in cultured neonatal cardiomyocytes stimulates mitochondrial oxygen consumption rate (OCR) and induces hypertrophy via reactive oxygen species (ROS). Here, we show that neurohormonal stress triggers cell death in endo/exonuclease G‐like‐depleted cells, and this is marked by a decrease in mitochondrial reserve capacity. Neurohormonal stimulation with phenylephrine (PE) did not have an additive effect on the hypertrophic response induced by endo/exonuclease G‐like depletion. Interestingly, PE‐induced atrial natriuretic peptide (ANP) gene expression was completely abolished in endo/exonuclease (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  7.  19
    Bibliografische Nota's. [REVIEW]J. H. Walgrave, A. Peperzak, A. De Brie, A. Lichtigfeld, J. Lannoy, F. De Keyser, A. Van De Putte, Herman Parret, H. Hofstee & Bea De Gelder - 1976 - Tijdschrift Voor Filosofie 38 (1):177 - 182.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  8.  9
    Inleiding tot de wijsbegeerte van Herman Dooyeweerd.H. J. van Eikema Hommes - 1982 - 's-Gravenhage: M. Nijhoff.
    Studie over het werk van de Nederlandse filosoof Herman Dooyeweerd (1894- 1977).
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  9.  30
    Bibliografische Nota's. [REVIEW]Paul van Tongeren, A. Pattin, P. Swiggers, Bernard Huyvaert, S. De Bleeckere, H. Sonneville, J. Janssens, E. Oger, Rien Heijne, Herman Parret, Miriam van Reijen, M. De Tollenaere, P. Van Tongeren, I. Verhack, Peter Reynaert, J. H. Walgrave & C. Struyker Boudier - 1983 - Tijdschrift Voor Filosofie 45 (3):503 - 519.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  10.  55
    Bibliografische Nota's. [REVIEW]P. Swiggers, J. H. Walgrave, A. Pattin, B. Delfgaauw, Herman Parret, L. De Vos, S. De Bleeckere, J. Janssens, Erik Oger, A. Van de Putte, Cyrille Fijnaut, Herman De Dijn, W. De Pater, W. A. De Pater, C. Struyker Boudier, I. Verhack, J. Lannoy, P. Soetaert, Peter Jonkers, Rien Heijne & Louis Van Tongeren - 1982 - Tijdschrift Voor Filosofie 44 (2):379 - 398.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  11.  29
    Bibliografische Nota's. [REVIEW]A. Pattin, Herman Parret, H. De Dijn, D. Scheltens, J. Lannoy, G. A. De Brie, H. Roelants, M. De Tollenaere & E. Van Doosselaere - 1975 - Tijdschrift Voor Filosofie 37 (1):160 - 167.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  12.  45
    Bibliografische Nota's. [REVIEW]B. Delfgaauw, J. H. Walgrave, Karl Schuhmann, P. Swiggers, L. Braeckmans, L. De Vos, K. Verrycken, André Cloots, Henk Struyker Boudier, C. Struyker Boudier, Herman Parret, Hugo Sonneville, J. Janssens, Etienne Van Doosselaere, C. Steel, M. Christiaens, P. Van Tongeren & I. Verhack - 1983 - Tijdschrift Voor Filosofie 45 (4):677 - 688.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  13.  34
    Boekbesprekingen.P. C. Beentjes, Theo de Kruijf, Herman-Emiel Mertens, Th Bell, Paul van Geest, Johan Ardui, Martin Parmentier, Toon Brekelmans, A. H. C. van Eijk, Geert van Dartel, A. Meijers, Erik Sengers, Carlo Leget, Ben Vedder, H. J. Adriaanse, M. Parmentier & Joke Maex - 2001 - Bijdragen 62 (3):342-365.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14.  48
    Bibliografische Nota's. [REVIEW]B. Delfgaauw, J. Janssens, Herman Parret, A. Pattin, F. De Keyser, W. De Pater, A. Lichtigfeld, A. De Brie, H. Hofstee, Samuel IJsseling, Bea De Gelder, E. Van Doosselaere, Paul Soetaert, A. Van de Putte & J. H. Walgrave - 1976 - Tijdschrift Voor Filosofie 38 (3):488 - 495.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  15.  33
    Schedl, Claus, Geschichte des Alten Testaments. [REVIEW]A. H. van der Weijden - 1961 - Augustinianum 1 (3):571-573.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  16.  13
    Schedl, Claus, Geschichte des Alten Testaments. [REVIEW]A. H. van der Weijden - 1963 - Augustinianum 3 (2):417-418.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  17.  22
    Arens, Anton, Die Psalmen im Gottesdienst des Alten Bundes: Eine Untersuchung zur Vorgeschichte des christlichen Psalmengesanges. [REVIEW]A. H. van der Weijden - 1962 - Augustinianum 2 (3):545-546.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  18.  17
    Krämer, DDr. Karl Fr., Gott unser Heil nach dem Zeugnis der Bibel: Alten Testament – Geschichtstafel zur biblischen Zeitgeschichte Alten und Neuen Testaments. [REVIEW]A. H. van der Weijden - 1962 - Augustinianum 2 (1):141-142.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  19.  3
    Joodse filosofie tussen rede en traditie: feestbundel ter ere van de tachtigste verjaardag van Prof. dr. H.J. Heering.Herman Johan Heering, Reinier Munk & F. J. Hoogewoud (eds.) - 1993 - Kampen: Kok.
  20.  5
    van Oyen, Hendrik: Ethik des Alten Testaments. Geschichte der Ethik, Band 2. Gütersloh: Gütersloher Verlagshaus Gerd Mohn 1967. 208 S. 25,- DM. [REVIEW]H. Mönnich - 1971 - Zeitschrift Für Evangelische Ethik 15 (1):59-61.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  21. Truth and reality.H. G. Stoker (ed.) - 1971 - Braamfontein.: De Jong's Bookshop.
    Is 'n transendentale kritiek religieus bepaald? deur V. Brümmer. -- Constitution and creativity in the philosophy of Edmund Husserl, by A. L. Conradie. -- Studium Generale, deur H. J. De Vleeschauwer. -- Sociology of law and its philosophical foundtions, by H. Dooyeweerd. -- Beginvrae en antwoorde in der Wysbegeerte, deur P. G. W. Du Plesis. -- Max Scheler's concern with the highest perfection, by S. I. M. Du Plessis. -- Christelike wetenskap, highest perfection, by S. I. M. Deu Plessis. -- (...)
     
    Export citation  
     
    Bookmark  
  22.  37
    The Role of Scepticism in Modern Philosophy Reconsidered.Richard H. Popkin - 1993 - Journal of the History of Philosophy 31 (4):501-517.
    In lieu of an abstract, here is a brief excerpt of the content:The Role of Scepticism in Modern Philosophy Reconsidered RICHARD H. POPKIN THE THEORY that the revival of ancient scepticism, and the application of its arguments to the controversies of the sixteenth century, played a vital role in the development of modern philosophy was first suggested by me almost forty years ago. A three-part article in the Review of Metaphysics entided "The Sceptical Crisis and the Rise of Modern Philosophy" (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  23.  31
    The finite model property for knotted extensions of propositional linear logic.C. J. van Alten - 2005 - Journal of Symbolic Logic 70 (1):84-98.
    The logics considered here are the propositional Linear Logic and propositional Intuitionistic Linear Logic extended by a knotted structural rule: γ, xn → y / γ, xm → y. It is proved that the class of algebraic models for such a logic has the finite embeddability property, meaning that every finite partial subalgebra of an algebra in the class can be embedded into a finite full algebra in the class. It follows that each such logic has the finite model property (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  24.  46
    Recent work on Spinoza.G. H. R. Parkinson - 1997 - British Journal for the History of Philosophy 5 (2):389 – 401.
    The Cambridge Companion to Spinoza. Don Garrett (ed.). Cambridge University Press, 1996, pp. xiii, 465. ISBN 0-521-39235-7 (hb); ISBN 0-521-39865-7 (pb). 40.00 (hb) 12.95 (pb). Spinoza: The Enduring Questions. Graeme Hunter (ed.). University of Toronto Press, 1994, pp. xviii, 182. ISBN 0-8020-2876-4. 45.00. The Spinozistic Heresy: The Debate on the 'Tractatus Theologico-Politicus'. 1670-77. Paolo Cristofolini (ed.). APA-Holland University Press: Amsterdam and Maarssen, 1995, pp. viii, 260. ISBN 90-302-1502-X. Disguised and Overt Spinozism around 1700. Wiep van Bunge and Wim Klever (eds.). (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  25.  54
    Proceedings of the 4th World Conference on Research Integrity: Brazil, Rio de Janeiro. 31 May - 3 June 2015.Lex Bouter, Melissa S. Anderson, Ana Marusic, Sabine Kleinert, Susan Zimmerman, Paulo S. L. Beirão, Laura Beranzoli, Giuseppe Di Capua, Silvia Peppoloni, Maria Betânia de Freitas Marques, Adriana Sousa, Claudia Rech, Torunn Ellefsen, Adele Flakke Johannessen, Jacob Holen, Raymond Tait, Jillon Van der Wall, John Chibnall, James M. DuBois, Farida Lada, Jigisha Patel, Stephanie Harriman, Leila Posenato Garcia, Adriana Nascimento Sousa, Cláudia Maria Correia Borges Rech, Oliveira Patrocínio, Raphaela Dias Fernandes, Laressa Lima Amâncio, Anja Gillis, David Gallacher, David Malwitz, Tom Lavrijssen, Mariusz Lubomirski, Malini Dasgupta, Katie Speanburg, Elizabeth C. Moylan, Maria K. Kowalczuk, Nikolas Offenhauser, Markus Feufel, Niklas Keller, Volker Bähr, Diego Oliveira Guedes, Douglas Leonardo Gomes Filho, Vincent Larivière, Rodrigo Costas, Daniele Fanelli, Mark William Neff, Aline Carolina de Oliveira Machado Prata, Limbanazo Matandika, Sonia Maria Ramos de Vasconcelos & Karina de A. Rocha - 2016 - Research Integrity and Peer Review 1 (Suppl 1).
    Table of contentsI1 Proceedings of the 4th World Conference on Research IntegrityConcurrent Sessions:1. Countries' systems and policies to foster research integrityCS01.1 Second time around: Implementing and embedding a review of responsible conduct of research policy and practice in an Australian research-intensive universitySusan Patricia O'BrienCS01.2 Measures to promote research integrity in a university: the case of an Asian universityDanny Chan, Frederick Leung2. Examples of research integrity education programmes in different countriesCS02.1 Development of a state-run “cyber education program of research ethics” in (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  26.  15
    An algebraic look at filtrations in modal logic.W. Conradie, W. Morton & C. J. van Alten - 2013 - Logic Journal of the IGPL 21 (5):788-811.
  27.  16
    The linguistic interpretation of Broca's aphasia A reply to M.-L. Kean.Herman H. J. Kolk - 1978 - Cognition 6 (4):353-361.
  28.  20
    Complexity of the Universal Theory of Modal Algebras.Dmitry Shkatov & Clint J. Van Alten - 2020 - Studia Logica 108 (2):221-237.
    We apply the theory of partial algebras, following the approach developed by Van Alten, to the study of the computational complexity of universal theories of monotonic and normal modal algebras. We show how the theory of partial algebras can be deployed to obtain co-NP and EXPTIME upper bounds for the universal theories of, respectively, monotonic and normal modal algebras. We also obtain the corresponding lower bounds, which means that the universal theory of monotonic modal algebras is co-NP-complete and the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  29.  38
    Rule Separation and Embedding Theorems for Logics Without Weakening.Clint J. van Alten & James G. Raftery - 2004 - Studia Logica 76 (2):241-274.
    A full separation theorem for the derivable rules of intuitionistic linear logic without bounds, 0 and exponentials is proved. Several structural consequences of this theorem for subreducts of (commutative) residuated lattices are obtained. The theorem is then extended to the logic LR+ and its proof is extended to obtain the finite embeddability property for the class of square increasing residuated lattices.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   20 citations  
  30. I. Self-organizing endo-matter, the interactive interface and the origin of consciousness.H. Wassenaar, W. Van Roon & C. Ten Hallers - 1995 - Communication and Cognition: An Interdisciplinary Quarterly Journal 28:187-218.
     
    Export citation  
     
    Bookmark  
  31. Self-organizing endo-matter, the interactive interface and the origin of consciousness. I: the principle of recurrent causality, short-and long-looping behaviour and psycho-organic phenomena.H. Wassenaar, W. van Roon & C. ten Hallers - 1995 - Communication and Cognition. Monographies 28 (2-3):127-217.
     
    Export citation  
     
    Bookmark  
  32.  27
    Aphasia, prefrontal dysfunction, and the use of word-order strategies.Herman H. H. J. Kolk & Robert J. Hartsuiker - 1999 - Behavioral and Brain Sciences 22 (1):103-103.
    Caplan & Waters's neuropsychological evidence for two types of verbal working memory rests entirely on a very restricted definition of “syntactic complexity,” one in terms of word order. This opens the possibility that the dissociation they observe relates to the differential use of word-order strategies rather than to the structure of verbal working memory.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  33.  37
    Agrammatic sentence processing: Severity, complexity, and priming.Herman H. J. Kolk & Robert J. Hartsuiker - 2000 - Behavioral and Brain Sciences 23 (1):39-40.
    Grodzinsky's theory of agrammatic sentence processing fails to account for crucial empirical facts. In contrast to his predictions, the data show that there are (1) degrees of severity and (2) problems with sentences that do not require movement, and that (3) under the right task circumstances, full-fledged syntactic trees are constructed.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  34.  26
    Computational complexity for bounded distributive lattices with negation.Dmitry Shkatov & C. J. Van Alten - 2021 - Annals of Pure and Applied Logic 172 (7):102962.
    We study the computational complexity of the universal and quasi-equational theories of classes of bounded distributive lattices with a negation operation, i.e., a unary operation satisfying a subset of the properties of the Boolean negation. The upper bounds are obtained through the use of partial algebras. The lower bounds are either inherited from the equational theory of bounded distributive lattices or obtained through a reduction of a global satisfiability problem for a suitable system of propositional modal logic.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  35.  9
    Rule Separation and Embedding Theorems for Logics Without Weakening.C. J. van Alten & J. G. Raftery - 2004 - Studia Logica 76 (2):241-274.
    A full separation theorem for the derivable rules of intuitionistic linear logic without bounds, 0 and exponentials is proved. Several structural consequences of this theorem for subreducts of (commutative) residuated lattices are obtained. The theorem is then extended to the logic LR+ and its proof is extended to obtain the finite embeddability property for the class of square increasing residuated lattices.
    Direct download  
     
    Export citation  
     
    Bookmark   12 citations  
  36. Different profiles for the institutional ethics committee in the netherlands.Herman H. der Kloot Meijburvang - 1994 - HEC Forum 6 (3).
     
    Export citation  
     
    Bookmark  
  37.  16
    Correction to: Complexity of the Universal Theory of Modal Algebras.Dmitry Shkatov & Clint J. Van Alten - 2019 - Studia Logica 109 (5):1175-1175.
    In the original publication of the article, the authors name were abbreviated as “D. Shkatov” and “C. J. Van Alten”. However it should be “Dmitry Shkatov” and “Clint J. Van Alten”. The original article has been corrected.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  38.  16
    Subgoal length versus full solution length in predicting Tower of Hanoi problem-solving performance.Herman H. Spitz, Shula K. Minsky & Candace L. Bessellieu - 1984 - Bulletin of the Psychonomic Society 22 (4):301-304.
  39.  41
    A Systematic Theory of Argumentation: The Pragma-Dialectical Approach.Frans H. Van Eemeren & Rob Grootendorst - 2003 - Cambridge University Press.
    In this book two of the leading figures in argumentation theory present a view of argumentation as a means of resolving differences of opinion by testing the acceptability of the disputed positions. Their model of a 'critical discussion' serves as a theoretical tool for analysing, evaluating and producing argumentative discourse. They develop a method for the reconstruction of argumentative discourse that takes into account all aspects that are relevant to a critical assessment. They also propose a practical code of behaviour (...)
    Direct download  
     
    Export citation  
     
    Bookmark   128 citations  
  40.  12
    Addiction: Integrating learning perspectives and implicit cognition.Dirk Hermans & Dinska van Gucht - 2006 - In Reinout W. Wiers & Alan W. Stacy (eds.), Handbook of Implicit Cognition and Addiction. Sage Publications.
    Direct download  
     
    Export citation  
     
    Bookmark  
  41. Public Services International (PSI), Education International (EI), International Council of Nurses (ICN)-Communique: World Bank report lets down 58 million public service workers (Reprinted from International Council of Nurses).H. Engelberts, F. van Leeuwen, J. Oulton, M. Waghome, D. Marlet & L. Carrier-Walker - 2004 - Nursing Ethics 11 (2):205-209.
     
    Export citation  
     
    Bookmark  
  42.  9
    Effects of redundancy level and presentation method on the paired-associate learning of educable retardates, third graders, and eighth graders.Herman H. Spitz - 1972 - Journal of Experimental Psychology 95 (1):164.
  43.  21
    Effects of stimulus information reduction on search time of retarded adolescents and normal children.Herman H. Spitz - 1969 - Journal of Experimental Psychology 82 (3):482.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  44.  12
    Ghosts of the homunculus and of Sigmund Freud.Herman H. Spitz - 1986 - Behavioral and Brain Sciences 9 (3):581-581.
  45. Het sterven van een mens.H. Van Overbeke - 1971 - Antwerpen,: Patmos. Edited by P. Wols & [From Old Catalog].
     
    Export citation  
     
    Bookmark  
  46.  14
    Complexity of the Universal Theory of Residuated Ordered Groupoids.Dmitry Shkatov & C. J. Van Alten - 2023 - Journal of Logic, Language and Information 32 (3):489-510.
    We study the computational complexity of the universal theory of residuated ordered groupoids, which are algebraic structures corresponding to Nonassociative Lambek Calculus. We prove that the universal theory is co $$\textsf {NP}$$ -complete which, as we observe, is the lowest possible complexity for a universal theory of a non-trivial class of structures. The universal theories of the classes of unital and integral residuated ordered groupoids are also shown to be co $$\textsf {NP}$$ -complete. We also prove the co $$\textsf {NP}$$ (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  47.  38
    On varieties of biresiduation algebras.C. J. van Alten - 2006 - Studia Logica 83 (1-3):425-445.
    A biresiduation algebra is a 〈/,\,1〉-subreduct of an integral residuated lattice. These algebras arise as algebraic models of the implicational fragment of the Full Lambek Calculus with weakening. We axiomatize the quasi-variety B of biresiduation algebras using a construction for integral residuated lattices. We define a filter of a biresiduation algebra and show that the lattice of filters is isomorphic to the lattice of B-congruences and that these lattices are distributive. We give a finite basis of terms for generating filters (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  48. Modal Logics and Bounded First-Order Fragments'.H. Andréka, J. van Benthem & I. Németi - forthcoming - Journal of Philosophical Logic.
  49.  10
    Metabletica en wetenschap: kritische bestandsopname van het werk van J.H. van den Berg.J. H. van den Berg & J. van Belzen (eds.) - 1997 - Rotterdam: Erasmus Publishing.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  50.  33
    The finite model property for the implicational fragment of IPC without exchange and contraction.C. van Alten & J. Raftery - 1999 - Studia Logica 63 (2):213-222.
    The aim of this paper is to show that the implicational fragment BKof the intuitionistic propositional calculus (IPC) without the rules of exchange and contraction has the finite model property with respect to the quasivariety of left residuation algebras (its equivalent algebraic semantics). It follows that the variety generated by all left residuation algebras is generated by the finite left residuation algebras. We also establish that BKhas the finite model property with respect to a class of structures that constitute a (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
1 — 50 / 1000